Bell-CHSH violation under global unitary operations: Necessary and sufficient conditions

Necessary and sufficient conditions for exact floating point operations

Studying floating point arithmetic, authors have shown that the implemented operations (addition, subtraction, multiplication, division and square root) can compute a result and an exact correcting term using the same format as the inputs. Following a path initiated in 1965, all the authors supposed that neither underflow nor overflow occurred in the process. Overflow is not critical as some ki...

Global Maximum of a Convex Function: Necessary and Sufficient Conditions

In this note we prove that an extended-real-valued lower semi-continuous convex function Φ defined on a reflexive Banach space X achieves its supremum on every nonempty bounded and closed convex set of its effective domain Dom Φ, if and only if the restriction of Φ to Dom Φ is sequentially continuous with respect to the weak topology on the underlying space X .

Second Order Necessary and Sufficient Optimality Conditions under Abstract Constraints

In this paper we discuss second order optimality conditions in optimization problems subject to abstract constraints. Our analysis is based on various concepts of second order tangent sets and parametric duality. We introduce a condition, called second order regularity, under which there is no gap between the corresponding second order necessary and second order suucient conditions. We show tha...

Necessary and Sufficient Conditions for Differentiating under the Integral Sign

Extending Peano derivatives: necessary and sufficient conditions

The paper treats functions which are defined on closed subsets of [0, 1] and which are k times Peano differentiable. A necessary and sufficient condition is given for the existence of a k times Peano differentiable extension of such a function to [0, 1]. Several applications of the result are presented. In particular, functions defined on symmetric perfect sets are studied.